Nuprl Definition : Rsends
11,40
postcript
pdf
Rsends(
ds
;
knd
;
T
;
l
;
dt
;
g
) == inr inr inr inr inr inr (inl <
ds
,
knd
,
T
,
l
,
dt
,
g
> )
latex
Definitions
inr
x
,
inl
x
,
<
a
,
b
>
FDL editor aliases
Rsends, Rsends
origin